archimedically ordered field

阿基米德有序域